Mapping Petri Nets and Metagraphs: A Step Towards Inter-Organizational Workflows
نویسنده
چکیده
In a world of increasing inter-connectedness between firms, workflow management systems that can interoperate with each are becoming of increasing importance. In light of the number of different modeling techniques used to model workflows, mapping between different workflow modeling techniques is an important problem. This paper proposes a mapping between Petri Nets and Metagraphs based on the underlying characteristics of the two models. Providing such a map would enable workflow management systems based on different metamodels to understand and communicate with each other to a greater degree than the current state of the art permits. In addition, providing a mapping between these two related modeling techniques would allow designers the ability to use the strengths of each the techniques. Finally, it would be a step in the direction of a Unified Modeling Language which could be used to model both metamodels.
منابع مشابه
XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows
Internet-based technology, E-commerce, and the rise of networked virtual enterprises have fueled the need for inter-organizational workflows. Although XML allows trading partners to exchange information, it cannot be used to coordinate activities in different organizational entities. Therefore, we developed a workflow language named XRL (eXchangeable Routing Language) for supporting crossorgani...
متن کاملXRL/Woflan: Verification of an XML/Petri-net-based language for inter-organizational workflows
Internet-based technology, E-commerce, and the rise of networked virtual enterprises have fueled the need for inter-organizational workflows. Although XML allows trading partners to exchange information, it cannot be used to coordinateactivities in different organizational entities. Therefore, we developed a workflow language named XRL (eXchangeable RoutingLanguage) for supporting c...
متن کاملMapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...
متن کاملDistributed Workflow Execution Based on Fragmentation of Petri Nets
The development towards distributed business processes and the increasing demand to support business processes by information systems induce the necessity of distributed workflow management systems. This paper presents an approach for the distributed execution of workflows, based on the fragmentation of high-level Petri nets. Petri nets combine the graphical representation of workflows and a fo...
متن کاملSoundness of Workflow Nets with Reset Arcs is Undecidable !
Petri nets are often used to model and analyze workflows. Many workflow languages have been mapped onto Petri nets in order to provide formal semantics or to verify correctness properties. Typically, the so-called Workflow nets are used to model and analyze workflows and variants of the classical soundness property are used as a correctness notion. Since many workflow languages have cancelation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003